second-order logic - Turco Inglés Diccionario